#include<stdio.h>

extern int yylex();
int chapnum;

int
main(int argc, char* argv[])
{
  int token;
  int t=0;
  chapnum=atoi(argv[1]);

  while(token=yylex())
    {
      printf("%d %s",t++,token);
    }

}
